<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>format_len</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1304'>format_len</a>       1304 src/filemanager/filegui.c         int format_len, text_len;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1307'>format_len</a>       1307 src/filemanager/filegui.c         format_len = str_term_width1 (format);</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1311'>format_len</a>       1311 src/filemanager/filegui.c         if (format_len + text_len &lt;= max_len)</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1313'>format_len</a>       1313 src/filemanager/filegui.c             fmd_xlen = format_len + text_len + 6;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1318'>format_len</a>       1318 src/filemanager/filegui.c             text = str_trunc ((const char *) text, max_len - format_len);</span>
</pre>
</body>
</html>
